Nuprl Definition : set def
13,42
postcript
pdf
{
x
:
A
|
B
(
x
)} is Primitive
latex
Up
core
1
,
core
1
origin